Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
921	Euler Symposium on Theoretical and Mathematical Physics D.I. Diakonov memorial symposium July 12-17, 2013, St. Petersburg, Russia Preliminary schedule Friday, July 12 8:30 – 9:30 Registration Add to Reading List Source URL: www.pdmi.ras.ru Language: English - Date: 2013-07-08 04:38:05 Statistical mechanics Quantum phases Quantum field theory Topological order Majorana fermion Topological insulator Xiao-Gang Wen String theory AdS/CFT correspondence Physics Theoretical physics Condensed matter physics
922	New Borderlands or Cosmopolitanism from Below? Conference Concept The overall aim of the conference is to make a significant contribution to the development of migration theory. In order to achieve this, it will focus Add to Reading List Source URL: www.neboco.org Language: English - Date: 2012-12-07 04:09:29 Culture Human migration Science Cultural geography World government Cosmopolitanism Border Global citizenship Association for Borderlands Studies Demography Population Human geography
923	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
924	Order-Revealing Encryption and the Hardness of Private Learning Mark Bun∗ Mark Zhandry† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-02 22:28:11 Probably approximately correct learning Mathematical sciences Data privacy Mathematics Cipher Semantic security Differential privacy Cryptography Computational learning theory Applied mathematics
925	HOMO LUDENS vs. HOMO HABITUS: BURAWOY MEETS BOURDIEU 1 Michael Burawoy Like the gift, labour can be understood in its objectively twofold truth only if one performs the second reversal needed in order to break with the s Add to Reading List Source URL: burawoy.berkeley.edu Language: English - Date: 2011-07-18 22:03:37 Marxist theorists Marxist theory Sociological terms Poststructuralism Political economy Pierre Bourdieu Antonio Gramsci Habitus Field Philosophy Anthropology Sociology
926	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
927	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
928	Microsoft PowerPoint - fml Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2006-04-17 16:34:13 Differential topology Embedding General topology Order theory Distortion Mathematical analysis Mathematics Category theory
929	Improved Dual System ABE in Prime-Order Groups via Predicate Encodings Jie Chen1,? , Romain Gay2,?? , and Hoeteck Wee2,? ? ? 1 East China Normal University, Shanghai, China 2 ENS, Paris, France Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-30 12:17:21 Classical cipher Group theory Index of a subgroup Four-square cipher
930	Norms and International Relations: The anachronistic nature of neo-realist approaches. Professor Christoph Bluth POLIS Working Paper No. 12 February 2004 Add to Reading List Source URL: www.polis.leeds.ac.uk Language: English - Date: 2007-11-30 07:19:07 Great power Nuclear proliferation International security Kenneth Waltz Realism in international relations Security dilemma Polarity in international relations New world order Power in international relations International relations International relations theory John Mearsheimer

UPDATE